<?php

class local_config{
    
}